Some Deductions from Frobenius's Theorem
نویسندگان
چکیده
منابع مشابه
Some Results on Baer's Theorem
Baer has shown that, for a group G, finiteness of G=Zi(G) implies finiteness of ɣi+1(G). In this paper we will show that the converse is true provided that G=Zi(G) is finitely generated. In particular, when G is a finite nilpotent group we show that |G=Zi(G)| divides |ɣi+1(G)|d′ i(G), where d′i(G) =(d( G /Zi(G)))i.
متن کاملDubious Deductions from AGN Survey Data
The participants in this meeting are almost all carrying out the hard work of making many different types of AGN surveys. Since it’s so much easier to criticize other people’s work than to do actual work myself, I’ll just present some demurs regarding recent papers drawing conclusions from various AGN survey data. In particular I’ll mention some questionable interpretations of surveys of Seyfer...
متن کاملDeductions from the Export Basket: Capabilities, Wealth and Trade∗
This paper re-explores the relation between a country’s level of wealth and the mix of products it exports. We argue that both are simultaneously determined by countries’ capabilities i.e. by countries’ productivity and quality levels for each good. Our theoretical setup has two features. (1) Some goods have fewer high-quality producers/countries than others i.e. there is Ricardian comparative ...
متن کاملDeductions with Meaning
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity has a strong impact on the feasibility of any theorem prover for computational semantics. We briefly investigate the different aspects of ambiguity and review some of the solutions that have been proposed to tackle t...
متن کاملSome Theorem Proving Aids
Theorem proving can be a very useful formal method. However it currently takes a lot of time and study to learn how to use a theorem prover, and proving even apparently simple theorems can be tedious. Theorem proving, and its beneets in software and hardware development , should be accepted more readily and widely if new users can do larger proofs of more complete models earlier in their traini...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Academy of Sciences
سال: 1942
ISSN: 0027-8424,1091-6490
DOI: 10.1073/pnas.28.6.251